2

Reverse mathematics and Peano categoricity

Année:
2013
Langue:
english
Fichier:
PDF, 235 KB
english, 2013
3

Nonstandard second-order arithmetic and Riemannʼs mapping theorem

Année:
2014
Langue:
english
Fichier:
PDF, 539 KB
english, 2014
5

Non-standard analysis in ACA0 and Riemann mapping theorem

Année:
2007
Langue:
english
Fichier:
PDF, 241 KB
english, 2007
9

On the strength of Ramsey's theorem without Σ 1 -induction

Année:
2013
Langue:
english
Fichier:
PDF, 96 KB
english, 2013
12

On principles between ∑1- and ∑2-induction, and monotone enumerations

Année:
2016
Langue:
english
Fichier:
PDF, 348 KB
english, 2016
17

The proof-theoretic strength of Ramsey's theorem for pairs and two colors

Année:
2018
Langue:
english
Fichier:
PDF, 729 KB
english, 2018
25

Complex analysis in subsystems of second order arithmetic

Année:
2007
Langue:
english
Fichier:
PDF, 306 KB
english, 2007
26

The Dirac delta function in two settings of Reverse Mathematics

Année:
2012
Langue:
english
Fichier:
PDF, 299 KB
english, 2012
39

Propagation of partial randomness

Année:
2014
Langue:
english
Fichier:
PDF, 389 KB
english, 2014
45

Formalizing non-standard arguments in second-order arithmetic

Année:
2010
Langue:
english
Fichier:
PDF, 840 KB
english, 2010